🔗 Concatenative Theory - abnv · Scour

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·11h·

Discuss: Hacker News

🪢Rope Data Structures

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

📜Proof Languages

GNU C Language Manual

gnu.org·8h

🪄C Metaprogramming

Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation Tasks

arxiv.org·23h

🧩SAT Solvers

Kolmogorov Complexity

en.wikipedia.org·16h·

Discuss: Hacker News

λLambda Calculus

Calculus Made Easy

calculusmadeeasy.org·12h

Instead of Phatic Phrases

mun.la·11h

abelianization of an additive category in nLab

ncatlab.org·11h

🔗Category Theory

Transformer Series #3: Positional Encoding - How Transformers Understand "Time" Without a Clock ⏳

dev.to·14h·

Discuss: DEV

🎰Parsing Machines

Making a Language

thunderseethe.dev·5h

🔬programming language theory

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

prompt abiogenesis ;-)

lnebres.bearblog.dev·3h

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Unification of Deterministic Higher-Order Patterns

arxiv.org·23h

🔗Unification Algorithms

Deep learning as program synthesis

lesswrong.com·1d·

Discuss: Lobsters, Hacker News

🎭Program Synthesis

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·1d·

Discuss: Substack

🏛️Elm Architecture

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Noun phrases are vague

ijo.la·22h

📋Backus-Naur Form

ChatGPT’s Laws of Machine Learning

shruggingface.com·1d

Use of Assertions

blog.regehr.org·12h

🔍Static Analysis

Loading more...